Natural deduction - PDFSEARCH.IO - Document Search Engine

Natural deduction
Results: 402

#	Item
81	Under consideration for publication in J. Functional Programming 1 The Arrow Calculus Sam Lindley, Philip Wadler, and Jeremy Yallop Add to Reading List Source URL: groups.inf.ed.ac.uk Language: English - Date: 2009-10-19 06:42:21 Lambda calculus Computability theory Fixed-point combinator Arrow Quiver Natural deduction Combinatory logic Theoretical computer science Mathematics Applied mathematics
82	Secure Safe Ambients Michele Bugliesi Universita´ “Ca’ Foscari”, Venice Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 07:02:24 Algebra Valuation Symbol Mobile Membranes Natural deduction Process calculi Abstract algebra Ambient calculus
83	Under consideration for publication in Math. Struct. in Comp. Science A Step-Indexed Kripke Model of Hidden State Jan Schwinghammer (Saarland University, Saarbr¨ ucken) Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2012-01-05 06:52:11 Model theory Modal logic Denotational semantics Logic in computer science Kripke semantics Structure Natural deduction Orbifold Logic Mathematical logic Mathematics
84	A Declarative View of Inheritance in Logic Programming M. Bugliesi Dipartimento di Matematica Pura ed Applicata Via Belzoni 7, Padova – ITALY Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 07:12:30 Deduction Philosophy of language Model theory Natural deduction Modal logic Sheaf Interpretation Entailment Formal semantics Logic Philosophical logic Semantics
85	A Realizability Model for a Semantical Value Restriction Rodolphe Lepigre Laboratoire de Math´ematiques, UMR 5127 CNRS Universit´e Savoie Mont-BlancLe Bourget-du-Lac, France Add to Reading List Source URL: lepigre.fr Language: English - Date: 2015-03-20 16:12:30 Proof theory Symbol Curry–Howard correspondence Valuation Lambda calculus Natural deduction Μ operator Mathematics Theoretical computer science Abstract algebra
86	1 Polarised Intermediate Representation of Lambda Calculus with Sums Guillaume Munch-Maccagnoni Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2015-04-08 08:34:46 Natural deduction Lambda calculus Sequent calculus Admissible rule Calculus Sequent Entailment Judgment Curry–Howard correspondence Logic Mathematical logic Proof theory
87	Existence of a Monetary Steady State in a Matching Model: Indivisible Money∗ Tao Zhu Department of Economics, Cornell University 442 Uris Hall, Ithaca, NY 14853 Add to Reading List Source URL: ihome.ust.hk Language: English - Date: 2009-08-09 10:03:18 Analytic number theory Prime-counting function Symbol Spectral theory Algebraic topology Μ operator Natural deduction Mathematics Mathematical analysis Algebra
88	Normalization by realizability also evaluates Pierre-Évariste Dagand1 & Gabriel Scherer2 1: Gallium, INRIA Paris-Rocquencourt 2: Gallium, INRIA Paris-Rocquencourt Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2014-12-03 02:55:37 Logic Symbol Curry–Howard correspondence Valuation Forcing Natural deduction Physical quantity Mathematical logic Mathematics Proof theory
89	Towards Normalization by Evaluation for the βη-Calculus of Constructions Andreas Abel Project PI.R2, INRIA Rocquencourt and PPS, Paris Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2011-02-18 18:03:08 Theoretical computer science Lambda calculus Normalisation by evaluation Natural deduction Symbol Proof theory Mathematical logic Programming language theory
90	Summary of Mathematical Notation Jean-Raymond Abrial (ETHZ) March 2008 Purpose of this Presentation Add to Reading List Source URL: www.fm2008.abo.fi Language: English - Date: 2008-06-10 09:27:49 Modus ponens Inference Rule of inference Natural deduction Structural proof theory Logic Proof theory Sequent

UPDATE